5

Modular Termination Proofs for Rewriting Using Dependency Pairs

Year:
2002
Language:
english
File:
PDF, 524 KB
english, 2002
6

Termination is not modular for confluent variable-preserving term rewriting systems

Year:
1995
Language:
english
File:
PDF, 355 KB
english, 1995
7

On the modularity of termination of term rewriting systems

Year:
1994
Language:
english
File:
PDF, 1.43 MB
english, 1994
8

Conditional Term Graph Rewriting with Indirect Sharing

Year:
2007
Language:
english
File:
PDF, 336 KB
english, 2007
10

Hierarchical termination revisited

Year:
2002
Language:
english
File:
PDF, 98 KB
english, 2002
11

A uniform framework for term and graph rewriting applied to combined systems

Year:
2000
Language:
english
File:
PDF, 116 KB
english, 2000
12

Implementing conditional term rewriting by graph rewriting

Year:
2001
Language:
english
File:
PDF, 219 KB
english, 2001
13

On the equivalence problem for E-pattern languages

Year:
1997
Language:
english
File:
PDF, 1.31 MB
english, 1997
14

Replacing suffix trees with enhanced suffix arrays

Year:
2004
Language:
english
File:
PDF, 425 KB
english, 2004
16

Linear Time Algorithms for Generalizations of

Year:
2011
Language:
english
File:
PDF, 546 KB
english, 2011
18

Chaining algorithms for multiple genome comparison

Year:
2005
Language:
english
File:
PDF, 270 KB
english, 2005
23

Editorial: Software survey section

Year:
1992
Language:
english
File:
PDF, 89 KB
english, 1992
24

Sorting by Weighted Reversals, Transpositions, and Inverted Transpositions

Year:
2007
Language:
english
File:
PDF, 742 KB
english, 2007
26

GENESIS: genome evolution scenarios

Year:
2008
Language:
english
File:
PDF, 177 KB
english, 2008
27

Efficient multiple genome alignment

Year:
2002
Language:
english
File:
PDF, 178 KB
english, 2002
28

Compressed suffix trees

Year:
2013
Language:
english
File:
PDF, 611 KB
english, 2013
29

Alphabet-independent algorithms for finding context-sensitive repeats in linear time

Year:
2015
Language:
english
File:
PDF, 425 KB
english, 2015
31

CoCoNUT: an efficient system for the comparison and analysis of genomes

Year:
2008
Language:
english
File:
PDF, 1.12 MB
english, 2008
34

Relative Undecidability in Term RewritingII. The Confluence Hierarchy

Year:
2002
Language:
english
File:
PDF, 142 KB
english, 2002
35

Relative Undecidability in Term RewritingI. The Termination Hierarchy

Year:
2002
Language:
english
File:
PDF, 243 KB
english, 2002